Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Algebraic Specification Language - определение
ACRONYM RIGOROUS APPROACH TO INDUSTRIAL SOFTWARE ENGINEERING
RAISE Specification Language; RAISE specification language
Найдено результатов: 8068
Algebraic Specification Language
1. <language> (ASL)
["Structured Algebraic Specifications: A Kernel Language",
M. Wirsing, Theor Comput Sci 42, pp.123-249, Elsevier 1986 ].
2. <language> (ASF) A language for equational specification of
abstract data types.
["Algebraic Specification", J.A. Bergstra et al, A-W 1989 ].
(1995-12-13)
Common Algebraic Specification Language
CASL (calculator language)
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
Programming language specification
DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE
Language specification
In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.
IMPlementation language
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
<language> (IMP) An extension of B with floating-point
operations, developed by W. Davidsen at General Electric in
1970 for the GE 600. It was also cross-compiled to VAX
and Intel 8080.
(1996-04-07)
Specification language
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.Joseph Goguen
Algebraic extension
FIELD EXTENSION VIA ADJOINING SOLUTIONS TO POLYNOMIALS WITH COEFFICIENTS IN THE SUBFIELD
Algebraic extension of a field; Algebraic field extension; Relative algebraic closure; Algebraic extension field
In mathematics, an algebraic extension is a field extension such that every element of the larger field is algebraic over the smaller field ; that is, if every element of is a root of a non-zero polynomial with coefficients in .Fraleigh (2014), Definition 31.
Universal Test Specification Language
PROGRAMMING LANGUAGE
Draft:UTSL (Universal Test Specification Language); Draft:Universal Test Specification Language
Universal Test Specification Language (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation of the test specification into an executable test code. UTSL is platform independent and provided a code generation interface for a specific platform is available, UTSL code can be translated into the programming language of a specific Automatic Test Equipment (ATE).
Language-independent specification
COMPUTER PROGRAMMING STANDARD MEANT TO BE INTEROPERABLE ACROSS PROGRAMMING LANGUAGES
Language Independent Specification
A language-independent specification (LIS) is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings.
Derived algebraic geometry
BRANCH OF MATHEMATICS GENERALIZING ALGEBRAIC GEOMETRY SO THAT COMMUTATIVE RINGS PROVIDING LOCAL CHARTS ARE REPLACED BY SIMPLICIAL COMMUTATIVE RINGS OR E∞-RING SPECTRA, WHOSE HIGHER HOMOTOPY GROUPS ACCOUNT FOR NON-DISCRETENESS OF THE STRUCTURE SHEAF
Homotopical algebraic geometry; Spectral algebraic geometry
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over \mathbb{Q}), simplicial commutative rings or E_{\infty}-ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g.
Algebraic Logic Functional programming language
PROGRAMMING LANGUAGE WHICH COMBINES FUNCTIONAL AND LOGIC PROGRAMMING TECHNIQUES
Algebraic logic functional programming language; Algebraic Logic Functional (programming language)
Algebraic Logic Functional programming language, also known as ALF, is a programming language which combines functional and logic programming techniques. Its foundation is Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming.
Википедия
Rigorous Approach to Industrial Software Engineering
RAISE (Rigorous Approach to Industrial Software Engineering) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner. It consists of a set of tools designed for a specification language (RSL) for software development. It is especially espoused by UNU-IIST in Macau, who run training courses on site and around the world, especially in developing countries.
